Constraint learning - PDFSEARCH.IO - Document Search Engine

Constraint learning
Results: 76

#	Item
21	Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2009-07-21 19:11:23 Automated theorem proving Constraint programming Formal methods Logic in computer science Electronic design automation DPLL algorithm Satisfiability Modulo Theories Boolean satisfiability problem Resolution Theoretical computer science Mathematics Mathematical logic
22	Advances in Bayesian Network Learning using Integer Programming Mark Barlett Dept of Computer Science & York Centre for Complex Systems Analysis University of York, UK Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2013-05-28 12:15:25 Mathematics Linear programming Constraint programming Convex optimization Combinatorial optimization Linear programming relaxation Cutting-plane method Bayesian network SCIP Mathematical optimization Operations research Applied mathematics
23	The Support Reduction Algorithm for Computing Non-Parametric Function Estimates in Mixture Models Add to Reading List Source URL: www.stat.washington.edu Language: English - Date: 2013-06-13 14:08:43 Operations research Machine learning Estimation theory Expectation–maximization algorithm Missing data Constraint algorithm Mathematical optimization Algorithm XTR Mathematics Applied mathematics Statistics
24	Complex Sy st ems370 Chaos- b a se d Learning Paul F . M . J. Verschure* Institu te for Inform atics, University of Zurich, Win terthur erst raJ3e 190, CH-8057 Zurich, Switzerland Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2013-03-26 14:31:28 Science Computational science Chaos theory Constraint algorithm
25	Minimising Decision Tree Size as Combinatorial Optimisation? Christian Bessiere1 , Emmanuel Hebrard2 , and Barry O’Sullivan2 1 LIRMM, Montpelier, France Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2010-11-22 06:22:30 Decision trees Constraint programming Boolean algebra Binary tree Decision tree learning Constraint satisfaction Decision tree model Boolean satisfiability problem B-tree Theoretical computer science Mathematics Applied mathematics
26	Numeric Bounds Analysis with Conflict-Driven Learning? Vijay D’Silva?? , Leopold Haller, Daniel Kroening, and Michael Tautschnig Computer Science Department, University of Oxford Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2012-07-25 13:39:19 Applied mathematics Electronic design automation Formal methods Logic in computer science NP-complete problems Valuation Boolean satisfiability problem Local consistency Abstract interpretation Theoretical computer science Constraint programming Mathematics
27	Combining Component Caching and Clause Learning for Effective Model Counting Tian Sang1 , Fahiem Bacchus2 , Paul Beame1 , Henry Kautz 1 , and Toniann Pitassi 2 1 Computer Science and Engineering, University of Washingto Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2004-04-13 00:26:28 NP-complete problems Automated theorem proving Constraint programming Boolean algebra Formal methods DPLL algorithm Boolean satisfiability problem Conjunctive normal form Lookup table Theoretical computer science Applied mathematics Mathematics
28	Connectionism: Representation PHIL/PSYCH 256 INTRODUCTION TO COGNITIVE SCIENCE Add to Reading List Source URL: cogsci.uwaterloo.ca Language: English - Date: 2010-10-25 15:41:37 Cybernetics Neuroscience Learning Cognitive science Connectionism Philosophy of artificial intelligence Artificial neural network Backpropagation Constraint satisfaction problem Computational neuroscience Neural networks Science
29	Chapter 1 CHOOSING SEARCH HEURISTICS BY NONSTATIONARY REINFORCEMENT LEARNING Alexander Nareyek Computer Science Department, Carnegie Mellon University, 5000 Forbes Avenue, Pittsburgh, PA, USA Add to Reading List Source URL: www.ai-center.com Language: English - Date: 2005-12-27 14:08:32 Computer programming Heuristics Mathematical optimization Artificial intelligence Heuristic function Constraint satisfaction problem Heuristic Constraint optimization Local search Constraint programming Operations research Software engineering
30	Low-Knowledge Algorithm Control∗ Tom Carchrae and J. Christopher Beck Cork Constraint Computation Center University College Cork, Ireland {t.carchrae, c.beck}@4c.ucc.ie Add to Reading List Source URL: tidel.mie.utoronto.ca Language: English - Date: 2006-01-18 12:07:28 Cybernetics Theoretical computer science Mathematical optimization Algorithm Mathematical logic Reinforcement learning Computational complexity theory Genetic algorithm Supervised learning Machine learning Applied mathematics Mathematics